Generating Tests by Exploiting Designed Behavior
نویسنده
چکیده
One of the hardest problems in digital circuit design is test pattern generation for a complex device. This is difficult in part because it requires reasoning about how to control a device whose behavior can be extremely complex. Knowledge of the specific operations that the device was designed to perform can help solve this problem. The key observation is that a device’s designed behavior is often far more limited than the device’s potential behavior. This limitation translates into a reduction of the search necessary to achieve planning goals. We describe an implemented program based on this idea.
منابع مشابه
A tolerant temporal validation of components based applications
This paper deals with control applications designed using the component-based standard IEC 61499. In this standard, a function block is an event triggered component and an application is a function blocks network. Supposing end to end delays on applications behavior, the hard temporal validation of FBs networks may be not feasible. We propose to weaken these delays by tolerance constraints dedu...
متن کاملDemand Forecasting Behavior: System Neglect and Change Detection
This research analyzes how individuals make forecasts based on time series data, and tests an intervention designed to improve forecasting performance. Using data from a controlled laboratory experiment, we find that forecasting behavior systematically deviates from normative predictions: Forecasters over-react to errors in relatively stable environments, but under-react to errors in relatively...
متن کاملSeismic Behavior of Direct Displacement-based Designed Eccentrically Braced Frames
Direct Displacement-Based Design (DDBD) is a performence-based seismic design method that has been proposed and well developed over the past two decades to design RC frame structures, shear walls and bridges. In this method, the behavior of a multi-degree-of-freedom (MDOF) sysytem is approximaeted by an equivalent single-degree-of-freedom (SDOF) substitute structure. Although this method has be...
متن کاملExploiting don't cares to enhance functional tests
I n simulation based design verification, deterministic or pseudo-random tests are used to check functional correctness of a design. I n this paper we present a technique generating tests by specifying the don’t care inputs in the functional specifications so as to improve their coverage of both design errors and manufacturing faults. The don’t cares are chosen to maximize sensitization of sign...
متن کاملThe Effect of Lateral Loading Parameters on Monopile Behavior Based on Physical Modeling
Monopiles are the most common type of foundation for offshore wind turbines (OWT). Monopiles have been used in more than 80% of the offshore wind turbines. A monopile will be affected by millions of lateral load cycles during the operating period, which will cause its rotation and lateral deformation. The rotation and the deformation are dependent on the soil properties, monopile specification,...
متن کامل